Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references. These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides.

Software Engineering --- Computer programming --- Computer programming. --- Software engineering. --- Information Technology --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mass communications --- Computer architecture. Operating systems --- Computer. Automation --- software engineering --- informatica management --- OS (operating system) --- computernetwerken --- communicatietechnologie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

With the emergence of regional, national and global programmes to establish Grid computing infrastructure, it is important to be able to utilise this infrastructure effectively. Specialist software is therefore necessary to enable the deployment of applications over such Grid infrastructure, and to help software developers construct suitable components. The uptake of Grid computing technologies will be restricted by the availability of suitable methodologies and tools. The aim of this book is to identify exemplary software engineering techniques for Grid environments, along with specialist tools that encapsulate such techniques. Case studies that illustrate their use are also discussed. The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent in enabling distributed computing across the Grid • Consideration of the software engineering support necessary for managing Grid applications • Proposal of a posited software engineering lifecycle to support application development for Grid Environments (along with associated tools). • Identification of novel concepts, methods and tools within Grid computing which can be put to work in the context of existing experiments and application case studies.

Computer science. --- Computer communication systems. --- Software engineering. --- Computer Science. --- Software Engineering. --- Computer Communication Networks. --- Information Systems Applications (incl. Internet). --- Computational grids (Computer systems) --- Grid computing --- Grids, Computational (Computer systems) --- Computer systems --- Cyberinfrastructure --- Information Technology --- Software Engineering --- Computer architecture. Operating systems --- Computer software engineering --- Engineering --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Electronic data processing --- Network computers --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer software --- Model-driven software architecture. --- Development. --- 681.3*D2 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Model-driven software architecture --- MDA (Model-driven software architecture) --- Software architecture --- Development of computer software --- Software development --- Development --- Computer software - Development.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer software --- Logiciels --- Development --- Congresses. --- Développement --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer simulation. --- Management information systems. --- Computer Science. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Communication systems --- Information Systems.